Using Model Checking to Explore Checklist-Guided Pilot Behavior
نویسندگان
چکیده
Pilot noncompliance with checklists has been associated with aviation accidents. This noncompliance can be influenced by complex interactions among the checklist, pilot behavior, aircraft automation, device interfaces, and policy, all within the dynamic flight environment. We present a method that uses model checking to evaluate checklist-guided pilot behavior while considering these interactions. We illustrate our approach with a case study of a pilot performing the “Before Landing” checklist. We use our method to explore how different design interventions could impact the safe arming and deployment of spoilers. Results and future research are discussed.
منابع مشابه
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملAudits in real time for safety in critical care: definition and pilot study.
UNLABELLED Adverse events significantly impact upon mortality rates and healthcare costs. PURPOSE To design a checklist of safety measures based on relevant scientific literature, apply random checklist measures to critically ill patients in real time (safety audits), and determine its utility and feasibility. METHODS A list of safety measures based on scientific literature was drawn up by ...
متن کاملImagine HEALTH: results from a randomized pilot lifestyle intervention for obese Latino adolescents using Interactive Guided ImagerySM
BACKGROUND There is an urgent need for innovative and developmentally appropriate lifestyle interventions to promote healthy lifestyle behaviors and to prevent the early onset of type 2 diabetes and cardiovascular disease risk in obese Latino adolescents. Guided imagery offers promise to reduce stress and promote lifestyle behavior change to reduce disease risk in obese adolescents. Our objecti...
متن کامل